nernst distribution law